The Role of Preferences in Logic Programming: Nonmonotonic Reasoning, User Preferences, Decision under Uncertainty
نویسندگان
چکیده
Preferences have a multi-faceted relationship with several knowledge representation domains and they have been understood in different ways in the Artificial Intelligence literature. In this thesis, we study and clarify the role that preferences can play in the setting of Answer Set Programming. Keywords— preferences, nonmonotonic reasoning, uncertain nonmonotonic reasoning, decision under uncertainty, answer set programming
منابع مشابه
Towards the Implementation of a Preference- and Uncertain-Aware Solver Using Answer Set Programming
Logic programs with possibilistic ordered disjunction (or LPPODs) are a recently defined logic-programming framework based on logic programs with ordered disjunction and possibilistic logic. The framework inherits the properties of such formalisms and merging them, it supports a reasoning which is nonmonotonic, preferenceand uncertain-aware. The LPPODs syntax allows to specify 1) preferences in...
متن کاملReasoning and Decision Making
2 Knowledge Representation and Reasoning (1p) 3 2.1 Logic and Combinatorics (1p) . . . . . . . . . . . . . . . . . . . . 4 2.1.1 Propositional Reasoning and Constraints Satisfaction (1p) 4 2.1.2 First-Order Logic and Its Restrictions (1.5p) . . . . . . . 5 2.1.3 Knowledge, Belief, Agents, and Modal Logic (0.75p) . . . 6 2.1.4 Logic Programming, Nonmonotonic Reasoning, and Preferences (0.75p) . ...
متن کاملDecision-Making under Ordinal Preferences and Comparative Uncertainty
This paper proposes a method that finds a preference relation on a set of acts from the knowledge of an ordering on events describing the decision-maker's uncertainty and an ordering of consequences of acts, describing the decision maker's preferences. However, contrary to classical approaches to decision theory, this method does not resort to any numerical representation of utility nor uncerta...
متن کاملModeling and Reasoning About User Preferences in Service-Oriented Architectures
Service-Oriented Architectures and Web service technologies are the growing trend in software architectures to build platform-independent software components. Web services implement in fact specific piece of functionalities which can be world-wide advertised, accessed, and consumed by users. In this context, service discovery and selection play an important role w.r.t. the search and selection ...
متن کاملMoral Reasoning under Uncertainty
We present a Logic Programming framework for moral reasoning under uncertainty. It is enacted by a coherent combination of our two previously implemented systems, Evolution Prospection for decision making, and P-log for probabilistic inference. It allows computing available moral judgments via distinct kinds of prior and post preferences. In introducing various aspects of uncertainty into cases...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2012